$\forall$$T$:Type, $L$:$T$ List. $L$ $=$ nil $\Leftrightarrow$ ($\forall$$x$:$T$. $\neg$($x$ $\in$ $L$))